Proceedings of NLULP’02 The 7th International Workshop on Natural Language Understanding and Logic Programming
نویسندگان
چکیده
A translation of abductive language interpretation problems into a deductive form is proposed and shown to be correct. No meta-level overhead is involved in the resulting formulas that can be evaluated by bottom-up deduction, e.g., by considering them as Constraint Handling Rules. The problem statement may involve background theories with integrity constraints, and minimal contexts are produced that can explain a discourse given.
منابع مشابه
A Phrase-Structured Grammatical Framework for Transportable Natural Language Processing
The F I N I T E S T R I N G News le t te r Calls for Papers 151 Computer Assisted Information Retrieval, Theoretical Approaches to Natural Language Understanding, 23rd Annual Meeting of the ACL, IJCAI-85, Theoretical and Methodological Issues in Machine Translation of Natural Languages, International Pragmatics Programs 155 Coling84, International Workshop: Natural Language Understanding and Lo...
متن کاملProceedings of the 7th International Workshop on Constraint Handling Rules
This volume contains the papers presented at CHR 2010, the Seventh International Workshop on Constraint Handling Rules held at the occasion of ICLP 2010, part of FLoC 2010, on 20 July 2010 in Edinburgh, Scotland.
متن کاملAppears in Proceedings of the ICML - 97 Workshop on Automata Induction , Grammatical Inference , and Language Aquicision
For most natural language processing tasks, a parser that maps sentences into a semantic representation is signi cantly more useful than a grammar or automata that simply recognizes syntactically wellformed strings. This paper reviews our work on using inductive logic programming methods to learn deterministic shift-reduce parsers that translate natural language into a semantic representation. ...
متن کاملAppears in Proceedings of the ICML - 97 Workshop on Automata Induction , Grammatical Inference , and Language
For most natural language processing tasks, a parser that maps sentences into a semantic representation is signi cantly more useful than a grammar or automata that simply recognizes syntactically wellformed strings. This paper reviews our work on using inductive logic programming methods to learn deterministic shift-reduce parsers that translate natural language into a semantic representation. ...
متن کاملProceedings of the Workshop on Linear Logic and Logic Programming
Declarative programming languages often fail to effectively address many aspects of control and resource management. Linear logic provides a framework for increasing the strength of declarative programming languages to embrace these aspects. Linear logic has been used to provide new analyses of Prolog's operational semantics, including left-to-right/depth-first search and negation-as-failure. I...
متن کامل